For Safety's Sake: We Need a New Hardware-Software Contract!

نویسنده

  • Gernot Heiser
چکیده

The ISA is the established hardware-software contract. As the ISA hides hardware features that affect timing of execution, it is no longer sufficient for ensuring system security and safety. We argue that a new contract is required, which exposes such features.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Agency, Cyberspace, and Social Contract

The social contract has been about rights and responsibilities in human societies. Facebook and its role in manufacturing and sustaining a global social contract, a new “we” is clearly one of the research areas that needs more attention. A new “we” is coming of age in the new age of connectivity and communication with a new outlook toward responsibility and rights at individual and collective l...

متن کامل

A Contract-based Event Driven Model for Collaborative Security in Financial Information Systems

This paper introduces a new collaboration abstraction, called Semantic Room (SR), specifically targeted to facilitating sharing and processing large volumes of data produced and consumed in real time by a collection of networked participants. The model enables constructing flexible collaborative event-driven distributed systems with well-defined and contractually regulated properties and behavi...

متن کامل

FPGA Implementation of JPEG and JPEG2000-Based Dynamic Partial Reconfiguration on SOC for Remote Sensing Satellite On-Board Processing

This paper presents the design procedure and implementation results of a proposed hardware which performs different satellite Image compressions using FPGA Xilinx board. First, the method is described and then VHDL code is written and synthesized by ISE software of Xilinx Company. The results show that it is easy and useful to design, develop and implement the hardware image compressor using ne...

متن کامل

Incentive Theory of the Third Sector of Economy (Non-Profit Organization)

Abstract This article aims to provide theoretical model for analyzing challenge of asymmetric information in the third sector of economy (which is the most important challenge, preventing the growth and development of third sector), using the theoretical foundation of contract theory and incentive theory with regard to the special characteristics of third sector derived by its special structur...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • IEEE Design & Test

دوره 35  شماره 

صفحات  -

تاریخ انتشار 2018